1. Specification and Transformation of Programs :
پدیدآورنده : by Helmut A. Partsch.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science),Software engineering.
رده :
QA76
.
76
.
D47
B944
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)